2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, 7)
Автор:
Jean-Yves Girard
, Автор:
Yves Lafont
, Автор:
Paul Taylor
Размер книги: 925 Kb
Proofs and Types
Автор:
Jean-Yves Girard
, Автор:
Yves Lafont
, Автор:
Paul Taylor
Категория:
Математика
,
Алгебра
,
Математическая логика
Размер книги: 1.37 Mb
Advances in Linear Logic (London Mathematical Society Lecture Note Series)
Автор:
Jean-Yves Girard
, Автор:
Yves Lafont
, Автор:
Laurent Regnier
Размер книги: 3.36 Mb
Advances in linear logic
Автор:
Jean-Yves Girard
, Автор:
Yves Lafont
, Автор:
Laurent Regnier
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 2.38 Mb
